منابع مشابه
Centrum Voor Wiskunde En Informatica Time-stamped Actions in Algebras Time-stamped Actions in Pcrl Algebras
We present two extensions of pCRL with time-stamped actions: pCRL for absolute time and pCRLr for relative time. We deene timed bisimilarity for both versions and prove that the given axiomatisations are ground complete, provided that the data types have built-in equality and Skolem functions. We base the completeness proofs on the completeness results for untimed pCRL.
متن کاملMining Icebergs in Time-Stamped Databases
Many organizations possess large databases collected over a long period of time. Analysis of such databases might be strategically important for further growth of the organizations. It might be interesting as well as useful to learn about interesting changes in sales over time. In this paper, we have introduced a new pattern, called notch, of an item in time-stamped databases. Based on this pat...
متن کاملGenealogies from time-stamped sequence data
We review and develop Bayesian statistical methods for recovering genealogical structure, population size and mutation rates from radiocarbon-dated fossil mtDNA sequence data. It is possible to obtain ages for fossil DNA sequences and their common ancestors, by fitting a population-genetic model. We describe the observation model and show how uncertainty in reconstructed parameter values may be...
متن کاملMeasuring Asymmetry in Time-Stamped Phylogenies
Previous work has shown that asymmetry in viral phylogenies may be indicative of heterogeneity in transmission, for example due to acute HIV infection or the presence of 'core groups' with higher contact rates. Hence, evidence of asymmetry may provide clues to underlying population structure, even when direct information on, for example, stage of infection or contact rates, are missing. However...
متن کاملIdentifying Geographical Processes from Time-Stamped Data
Humans tend to interpret a temporal series of geographical spatial data in terms of geographical processes. They also often ascribe certain properties to processes (e.g. a process may be said to accelerate). Given a spatial region of observation, distinct properties may be observed in different subregions and at different times, which causes difficulties for humans to identify them. The concept...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of the IGPL
سال: 2020
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzaa001